Left division in the free left distributive algebra on many generators
نویسنده
چکیده
Abstract Introduction Example of a Free LD, I Example of a Free LD, II Ordering A A is Linearly Ordered by <L A subset of A that is not well-ordered An Extension of AIntroduction Example of a Free LD, I Example of a Free LD, II Ordering A A is Linearly Ordered by <L A subset of A that is not well-ordered An Extension of A
منابع مشابه
A division algorithm for the free left distributive algebra
In this paper we extend the normal form theorem, for the free algebra A on one generator x satisfying the left distributive law a(bc) = (ab)(ac), which was proved in [5]. As part of the proof that an algebra of elementary embeddings from set theory is isomorphic to A, facts about A itself were established. Theorem 1 summarizes some known facts about A, including P. Dehornoy's independent work o...
متن کاملFinite Left{distributive Algebras and Embedding Algebras
We consider algebras with one binary operation and one generator (monogenic) and satisfying the left distributive law a (b c) = (a b) (a c). One can de ne a sequence of nite left-distributive algebras An, and then take a limit to get an in nite monogenic left-distributive algebra A1. Results of Laver and Steel assuming a strong large cardinal axiom imply that A1 is free; it is open whether the ...
متن کاملImplications, coimplications and left semi-uninorms on a complete lattice
In this paper, we firstly show that the $N$-dual operation of the right residual implication, which is induced by a left-conjunctive right arbitrary $vee$-distributive left semi-uninorm, is the right residual coimplication induced by its $N$-dual operation. As a dual result, the $N$-dual operation of the right residual coimplication, which is induced by a left-disjunctive right arbitrary $wedge...
متن کاملThe left (right) distributivity of semi-t-operators over 2-uninorms
Recently the distributive equations involving various classes of aggregation operators have aroused widespread attention because of their importance in the theoretic and applied communities of fuzzy set theory. 2-uninorms and semi-t-operators are two special classes of aggregation operators and have been proved to be useful in many areas such as fuzzy decision making, approximate reasoning and ...
متن کاملLeft-distributive Embedding Algebras
We consider algebras with one binary operation and one generator, satisfying the left distributive law a (b c) = (a b) (a c); such algebras have been shown to have surprising connections with set-theoretic large cardinals and with braid groups. One can construct a sequence of nite left-distributive algebras An, and then take a limit to get an in nite left-distributive algebra A1 on one generato...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Arch. Math. Log.
دوره 55 شماره
صفحات -
تاریخ انتشار 2016